Characterizing Polynomial Ramsey Quantifiers

نویسندگان

  • Ronald de Haan
  • Jakub Szymanik
چکیده

Ramsey quantifiers are a natural object of study not only for logic and computer science, but also for the formal semantics of natural language. Restricting attention to finite models leads to the natural question whether all Ramsey quantifiers are either polynomial-time computable or NP-hard, and whether we can give a natural characterization of the polynomial-time computable quantifiers. In this paper, we first show that there exist intermediate Ramsey quantifiers and then we prove a dichotomy result for a large and natural class of Ramsey quantifiers, based on a reasonable and widely-believed complexity assumption. We show that the polynomial-time computable quantifiers in this class are exactly the constant-log-bounded Ramsey quantifiers.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Probabilistic Quantifiers and Games

We consider inclusion relations among a multitude of classical complexity classes and classes with probabilistic components. A key tool is a method for characterizing such classes in terms of the ordinary quantifiers 3 and V together with a quantifier 3+, which means roughly “for most,” applied to polynomial-time predicates. This approach yields a uniform treatment which leads to easier proofs ...

متن کامل

Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers

In recent years, generalized quantifiers (see [H3]) have received quite a lot of novel interest because of their applications to computer science and linguistics. Their definability theory has made considerable progress during the last decade, which will be the subject of the next section. The proofs of many of these results often use results of Ramsey theory, such as theorems of van der Waerde...

متن کامل

Definability properties and the congruence closure

We introduce a natural class of quantifiers Th containing all monadic type quantifiers, all quantifiers for linear orders, quantifiers for isomorphism, Ramsey type quantifiers, and plenty more, showing that no sublogic of Lo~o,(Th) or countably compact regular sublogic of L~o,(Th), properly extending L,o,o, satisfies the uniform reduction property for quotients. As a consequence, none of these ...

متن کامل

The quantifier complexity of polynomial-size iterated definitions in first-order logic

We refine the constructions of Ferrante-Rackoff and Solovay on iterated definitions in first-order logic and their expressibility in with polynomial size formulas. These constructions introduce additional quantifiers; however, we show that these extra quantifiers range over only finite sets. We prove optimal upper and lower bounds on the quantifier complexity of polynomial size formulas obtaine...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1601.02258  شماره 

صفحات  -

تاریخ انتشار 2016